101. Concept lattices : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004 : proceedings
پدیدآورنده : Peter Eklund )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Lattice theory,Mathematical models -- Congresses ، Comprehension )Theory of Knowledge(,Congresses ، Information theory,Mathematical models -- Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2961
102. Constructibility and mathematical existence /
پدیدآورنده : Charles S. Chihara.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Constructive mathematics.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Logique symbolique et mathématique.,Mathématiques constructives.,Mathématiques-- Philosophie.,Constructieve wiskunde.,Constructive mathematics.,Filosofia da matemática.,Filosofie.,Logic, Symbolic and mathematical.,Lógica matemática.,Matemática construtiva.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Mathematics-- Philosophy.,Ontologie (filosofie)
رده :
QA8
.
4
.
C45
1990eb
103. Contributions to non-standard analysis
پدیدآورنده : Symposium on Non-standard Analysis, 0791, Oberwolfach, Ger.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Nonstandard mathematical analysis-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
300
.
S973
1970
104. Contributions to non-standard analysis
پدیدآورنده : Symposium on Non-standard Analysis, Oberwolfach, Ger.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematical analysis, nonstandard-Congresses,Congresses ، Logic, Symbolic and mathematical
رده :
QA
300
.
S973
1970
105. Cybernetics and systems '86 :
پدیدآورنده : organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
106. Digital logic and switching circuits : operation and analysis
پدیدآورنده : Boyce, Jefferson C
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Digital electronics,، Logic, Symbolic and mathematical,، Switching theory
رده :
TK
7868
.
D5
.
B69
107. Discrete mathematics
پدیدآورنده : by Seymour Lipschutz, Ph.D. and Marc Lars Lipson, Ph.D.
کتابخانه: كتابخانه دانشگاه صنعتي اروميه (أذربایجان الغربیة)
موضوع : Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA
,
162
,.
D57
,
2007
108. Discrete mathematics And Graph Theory
پدیدآورنده : Purna .Chandra Bisweal
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهکیلویة و بویرأحمد)
موضوع : Algebra, Abstract, Outlines, syllabi, etc,Combinatorial analysis, Outlines, syllabi, etc,Logic, Symbolic and mathematical, Outlines, syllabi, etc
رده :
510
,
B85
,
2005
109. Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings
پدیدآورنده : Cristian S. Calude, Michael J. Dinneen, Vincent Vajnovszki )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2731
110. Einführung in die operative Logik und Mathematik
پدیدآورنده : von Paul Lorenzen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.
رده :
BC135
.
V667
1969
111. Einführung in die operative Logik und Mathematik.
پدیدآورنده : Paul Lorenzen
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logique symbolique et mathématique.
رده :
BC135
.
P385
1955
112. Entity-Relationship Approach - ER '93 :
پدیدآورنده : edited by Ramez A. Elmasri, Vram Kouramajian, Bernhard Thalheim.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computers.,Logic, Symbolic and mathematical.
113. Feferman on foundations :
پدیدآورنده : Gerhard Jäger, Wilfried Sieg, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematical theory of computation.,MATHEMATICS-- General.,Philosophy: logic.
رده :
QA9
.
2
114. Finite and infinite combinatorics in sets and logic
پدیدآورنده : edited by N.W. Sauer, R.E. Woodrow, and B. Sands
کتابخانه: (طهران)
موضوع : Combinatorial analysis - Congresses , Set theory - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
QA
164
.
N38
1991
115. Finite and infinite combinatorics in sets and logic
پدیدآورنده : / edited by N. W. sauer, R. E. Woodrow, and B. Sands
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Combinatorial analysis -- Congresses,Settheory -- Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA
164
.
N38
1991
116. Finite and infinite combinatorics in sets and logic: ]proceedings of the NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic, Banff, Alberta, Canada, April 21-May 4, 1991[
پدیدآورنده : edited by N.W. Sauer, R.E. Woodrow, and B. Sands
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses. ، Combinatorial analysis,Congresses. ، Set theory,Congresses. ، Logic, Symbolic and mathematical
رده :
QA
164
.
N38
1991
117. Formal Aspects of Context
پدیدآورنده : edited by Pierre Bonzon, Marcos Cavalcanti, Rolf Nossum.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
118. Formal Concept Analysis :
پدیدآورنده : Diana Cristea, Florence Le Ber, Baris Sertkaya (Eds.) (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Formal methods (Computer science), Congresses.,Logic, Symbolic and mathematical, Congresses.,Computer science-- Mathematics.,Formal methods (Computer science),Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
M35
I58
2019eb
119. Formal Concept Analysis
پدیدآورنده : \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,منطق ریاضی-- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
120. Formal Grammar 2018 :
پدیدآورنده : Annie Foret, Greg Kobele, Sylvain Pogodalla (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational linguistics, Congresses.,Formal languages, Congresses.,Mathematical linguistics, Congresses.,Computational linguistics.,Formal languages.,Mathematical linguistics.
رده :
P98
.
I58
2018eb
